#include <iostream>
using namespace std;
const int N = 15;
int year[N], y, n;
int a, b, c, d;
int i, ojj;
int main()
{
    cin >> y >> n;
    for (i;; i++)
    {
        ojj = 0;
        //取出四位数字 ，如果不足几位则第几位取出的数字是 0
        a = y % 10;
        b = y / 10 % 10;
        c = y / 100 % 10;
        d = y / 1000;
        year[a]++;
        year[b]++;
        year[c]++;
        year[d]++;
        //查询 0 - 9 中的出现数字
        for (int j = 0; j <= 9; j++)
        {
            if (year[j]) //不等 0 说明数字 j 出现了不止一次
            {
                ojj++;
                year[j] = 0;
            }
        }
        if (ojj == n)
            break; //查询到答案
        y++;       //开始下一轮搜索
    }
    cout << i << " " << d << c << b << a;
}
